In previous works, we presented a modification of the usual possible world semantics by introducing an independent temporal structure in each world and using accessibility functions to represent the relation among them. Different properties ofthe accessibility functions have been considered and axiomatic systems which define these properties have been given. Only a few ofthese systems have been proved tobe complete. The aim ofthis paper is to make a progress in the study ofcompleteness for functional systems. For this end, we use (...) indexes as names for temporal flows and give new proofs of completeness. Specifically, we focus our attention on the system which defines injectivity, because the system which defines this property without using indexes was proved to be incomplete in previous works. The only system considered which remains incomplete is the one which defines surjectivity, even ifwe consider a sequence ofnatural extensions ofthe previous one. (shrink)

Combining modalities has proven to have interesting applications and many approaches that combine time with other types of modalities have been developed. One of these approaches uses accessibility functions between flows of time to study the basic properties of the functions, such as being total or partial, injective, surjective, etc. The completeness of certain systems expressing many of these properties, with the exception of surjectivity, has been proven. In this paper we propose a language with nominals to denote the initial (...) and final sets of each function in a model in order to obtain a complete system for reasoning about surjective partial functions. (shrink)

ABSTRACT In this paper we present a new semantic approach for propositional linear temporal logic with discrete time, strongly based in the well-order of IN (the set of natural numbers). We consider temporal connectives which express precedence, posteriority and simultaneity, and they provide a family of expressively complete temporal logics. The selection of the new semantics and connectives used in this work was principally to obtain a suitable executable temporal logic, which can be used for the specification and control of (...) process behaviour in discrete time in a similar way to thai presented by D. Gabbay in [GAB 89], Our new approach has two advantages: firstly, the connectives are defined intuitively so that they have interpretations which relate to properties of interest in real systems; secondly, it provides a new semantics that facilitates simpler proofs of many valid formulas and metatheorems. To confirm this second advantage, we use our semantics to give a formal proof of the Separation Theorem for one of these logics (specifically LN3). The great interest of this Separation Theorem for the executable temporal logic is emphasised by D. Gabbay in [GAB 89], [GAB 88]. (shrink)

ABSTRACT Most theorem provers for Classical Logic transform the input formula into a particular normal form. This tranformation is done before the execution of the algorithm or it is integrated into the deductive algorithm. This situation is no different for Non-Classical Logics and, particularly, for Temporal Logics. However, unlike classical logic, temporal logic does not provide an extension of the notion of non negative normal form. In this work, we define a temporal negative normal form for the future fragment of (...) the linear time propositional temporal logic, named FNext. The definition saves as much information as possible about implicants and implicates of the input formula and its subformulas. This property is the novelty of this normal form; for example, in [Fis97] the normal form is guided by the separation property and in [Ven86] the normal form provided prepares the input formula to be treated by a resolution method. Moreover, we also introduce an algorithm having linear cost, which transforms the input formula into a temporal negative normal form. Furthermore, in this work we present a new structure and a set of operators over it that allows us to efficiently manage the information about unitary implicants and implicates contained in the subformulae. (shrink)

This book constitutes the refereed proceedings of the European Workshop on Logics in Artificial Intelligence, JELIA 2000, held in Malaga, Spain in September/October 2000. The 24 revised full papers presented together with three invited papers were carefully reviewed and selected out of 60 submissions. The papers are organized in topical sections on knowledge representation, reasoning about actions, belief revision, theorem proving, argumentation, agents, decidability and complexity, updates, and preferences.

The tree-based data structure of -tree for propositional formulas is introduced in an improved and optimised form. The -trees allow a compact representation for negation normal forms as well as for a number of reduction strategies in order to consider only those occurrences of literals which are relevant for the satisfiability of the input formula. These reduction strategies are divided into two subsets (meaning- and satisfiability-preserving transformations) and can be used to decrease the size of a negation normal form A (...) at (at most) quadratic cost. The reduction strategies are aimed at decreasing the number of required branchings and, therefore, these strategies allow to limit the size of the search space for the SAT problem. (shrink)

The tree-based data structure of △-tree for propositional formulas is introduced in an improved and optimised form. The △-trees allow a compact representation for negation normal forms as well as for a number of reduction strategies in order to consider only those occurrences of literals which are relevant for the satisfiability of the input formula. These reduction strategies are divided into two subsets (meaning- and satisfiability-preserving transformations) and can be used to decrease the size of a negation normal form A (...) at (at most) quadratic cost. The reduction strategies are aimed at decreasing the number of required branchings and, therefore, these strategies allow to limit the size of the search space for the SAT problem. (shrink)

El propósito de este escrito es mostrar la complejidad de la lectura que Quevedo realiza del estoicismo, como representante del barroco hispano, en el contexto de la historia de la recepción de esta escuela antigua en los siglos XVI y XVII. Para ello retomamos la tesis de P. F. Moreau sobre las tres grandes etapas en la historia de la recepción del estoicismo (la humanista, la neoestoica y la crítica moderna) con el objetivo de aportar nuevos argumentos, extraídos del análisis (...) del miedo a la muerte y el temor de Dios en La cuna y la sepultura, que permitan precisar qué posición singular ocupa Quevedo, como representante del neoestoicismo cristianizado, en el contexto de estas tres grandes fases mencionadas. (shrink)

In this paper we discuss the eminently ideological and political character of feminist epistemologies. We draw attention to their weakness in terms of their lack of demarcation of a particular gender philosophy, of genuine scientific theories and methods activating each of the epistemic p.

El propósito de esta conferencia es el examen crítico de aspectos fundamentalesdel análisis filosófico, en las representativas vertientes de la prácticaanalítica del segundo Wittgenstein y la de dos de los más conspicuos analistas oxonienses: Ryle y Austin. Por razones de espacio, se centrará la discusión casi enteramente en el modelo wittgensteiniano, en la esperanza de que los resultados de aquélla sean claramente extensibles al otro modelo en todo lopertinente.Las principales metas perseguidas serán las de mostrar que el análisis filosófico no (...) puede (en absoluto, en algunas de las formas contempladas; sin restricciones, en otras) atribuirse, según los casos, las cualidades derivables de los desiderata de hacer a la filosofía i) puramente descriptiva; ii) esencial y efectivamente terapéutica; iii) no promotora de tesis filosóficas; y iv) dependiente,en sus raíces, de una exclusiva fuente de sapiencia lingüísticamenteinfusa, que es el lenguaje como depositario de lo que Moore (1972, p. 70)llamó "visión del mundo del sentido común"; una fuente a la que hay quedefender y usar sólo para rechazar las ilusiones de la filosofía, o para extraer elementos que contribuyan al desarrollo de doctrinas.Un recurso de los que se emplearán en esta breve exploración será un recordatorio, no precisamente entendido en sentido wittgensteiniano, del papelde la argumentación en el quehacer filosófico y de las modalidades que ellaadopta para contraponer la argumentación con los tipos de análisis mencionados,con miras a poner al descubierto las peculiaridades que interesa contemplar en esta oportunidad. (shrink)

The extent to which people anticipate and are influenced by the potential future consequences of their current behavior is called Consideration of Future Consequences. A well-established tool to measure this construct is the 14-item Consideration of Future Consequences Scale. The CFC-14 has shown appropriate psychometric properties in several languages. This scale comprises two factors: the CFC-Immediate and the CFC-Future. The main goal of this study was to assess the psychometric properties and internal consistency of the CFC-14 Scale in Spanish, using (...) an Argentine sample. A secondary goal was to determine its convergent validity with impulsivity, and determine differences across gender and age groups. Using a web-based survey, we collected data from 512 participants aged 13-74 years. Confirmatory Factor Analysis showed a 2-factor model as the best solution for 13-items version. Standardized regression weights ranged from.50 to.66 for CFC-F and between.43 and.83 for CFC-I. Composite reliability was also adequate: CFC-F achieve? =.80 and CFC-I? =.82. There were no differences across gender and age. The CFC-F subscale and UPPS-P subscales correlations, were negative and significant, highlighting the negative and moderate correlation between CFC-F and the lack of premeditation, a dimension strictly related to intertemporal decisions making. Thus, CFC-14 has adequate psychometric properties in an Argentinian population, although more studies are necessary to determine the robustness of these findings. (shrink)

Ethical decision-making in school administration has received considerable attention in educational leadership literature. However, most research has focused on principals working in secondary school settings while studies that explore ethical reasoning processes of academic deans have been significantly few. This qualitative study aims to describe the ethical decision-making processes employed by a select group of Filipino college deans in solving ethical dilemmas using the ethical paradigms proposed in the works of Starratt (Educ Adm Q 27:185–202, 1991) and Shapiro and Stefkovich (...) (Ethical leadership and decision-making in education: applying theoretical perspectives to complex dilemmas, 2005) as frameworks for the analysis. Data was gathered using semi-structured interviews and field text was analyzed using deductive thematic analysis. Findings of this study show that majority of the deans chose to share ethical dilemmas involving students and teachers. The findings also show the ethical frameworks of care, justice, and profession as the dominant paradigms utilized by Filipino deans and their preference for adopting multiple ethical frameworks when making their decisions. Most of the ethical dilemmas which the deans narrated relate to their tasks of academic administration such as monitoring student performance, faculty evaluation and maintaining school discipline. Interestingly, only a few dilemmas involving university administrators were expressed, and dilemmas that refer to broader societal issues usually associated with school administrators’ utilization of the ethic of critique were also significantly left out in the narratives of this study. This paper intends to contribute to current literature by expanding research to administrators working in the context of higher education in the Philippine setting. The findings of this study could serve as knowledge base in designing ethics courses to enhance educational leaders’ ethical decision-making skills. The study also provides useful insights of ethical decisions and reasoning processes employed by academic administrators in resolving real life ethical dilemmas that could be useful at the practical level for aspiring and practicing deans. (shrink)

This phenomenological study intends to capture and describe Filipino college deans’ lived experiences of ethical dilemmas as they carry out their work as administrators. Using semistructured in-depth interviews and following Collaizzi’s method, data was collected and subjected to cool and warm analyses yielding a set of themes and sub-themes that typify what these deans consider to be ethical dilemmas. The resulting ‘Wheel’ of School Leaders’ Ethical Dilemmas depicts the nature of the dilemmas faced by these deans, the critical incidents which (...) trigger the onset of the dilemmas, and the value conflicts that are embedded in them. This article intends to add to the growing body of research on ethical decision making in educational management, particularly on the ethical dilemmas faced by Filipino college deans. At a practical level, the findings of this study provide valuable resource to assist practicing and aspiring deans to be more adept in identifying the moral and ethical dimensions of their work as academic administrators. Finally the findings of this study could serve as a knowledge base for curriculum planners in designing ethics courses offered in educational leadership programs in the Philippines to develop academic leaders’competencies and skills in ethical decision making. (shrink)

The chapter reports on the findings of a grounded theory study on the moral sensitivity practice of Filipino college deans. It centers on the exposition of a conceptual model which expands the construct of moral sensitivity beyond the initial stage of moral problem recognition and depicts three processes of knowing facts, understanding people, and understanding oneself as fundamental processes to moral sensitivity. A set of seven distinct practices were also identified as subcomponents of moral sensitivity. The chapter concludes by highlighting (...) the level of complexity involved in moral problem identification in real-life settings and the consequent need for developing administrators’ moral sensitivity skills through formal courses in ethics as part of school administrator preparation programs. (shrink)

Quelle est la nature et la fonction des sentiments dans l’activité de connaissance et, plus largement, dans l’existence humaine? Cette question, massive, n’a cessé d’inquiéter la philosophie, dont l’histoire paraît à bien des égards se confondre avec celle d’une opposition entre la lucidité de la raison et l’obscurité dangereuse des passions. Si le discours philosophique n’a jamais nié l’importance des sentiments, ni leur rôle dans l’ordonnancement général de la vie humaine, ce discours est cependant empreint d’ambiguïtés, comme l’est, déjà, le (...) statut du « cœur » dans la tripartition fonctionnelle de l’âme présentée par Platon : ni réductible à la droite raison, ni relégué dans la sphère des désirs qui nous empêchent de contempler les Idées, le sentiment est cet intermédiaire allié de la raison qui met en mouvement nos réactions morales. Cette ambiguïté se retrouve à l’âge classique, lorsque le discours philosophique découvre le fonctionnement des passions et cherche les modèles scientifiques susceptibles d’en rendre compte, hésitant entre la physiologie , la géométrie , la médecine et les sciences de la nature .En faisant de l’affectivité l’une des structures fondamentales de l’existence, la phénoménologie a replacé au centre du questionnement philosophique la problématique des sentiments. Mais comment décrire ces expériences singulières – celle de l’amour, de l’angoisse, du désespoir ou de la joie – sans les confondre avec des objets? Comment donner du sens aux affects sans adopter ce point de vue surplombant des sciences de la nature, qui confond le discours des causes et celui des raisons? Comment, en d’autres termes, continuer à parler des sentiments de manière raisonnée, tout en reconnaissant que les sentiments nous font autant que nous les connaissons – tout en continuant, par conséquent, à être réceptifs à leur pouvoir de nous ébranler? (shrink)

Humans are learning agents that acquire social group representations from experience. Here, we discuss how to construct artificial agents capable of this feat. One approach, based on deep reinforcement learning, allows the necessary representations to self-organize. This minimizes the need for hand-engineering, improving robustness and scalability. It also enables “virtual neuroscience” research on the learned representations.

Evaluative conditioning (EC) is one of the terms that is used to refer to associatively induced changes in liking. Many controversies have arisen in the literature on EC. Do associatively induced changes in liking actually exist? Does EC depend on awareness of the fact that stimuli are associated? Is EC resistant to extinction? Does attention help or hinder EC? As an introduction to this special issue, we will discuss the extent to which the papers that are published in this issue (...) help to resolve some of the controversies that surround EC. We also speculate about possible boundary conditions of EC and attempt to reconcile conflicting results on the functional properties of EC. (shrink)